Accelerating Smart Play-Out

نویسندگان

  • David Harel
  • Hillel Kugler
  • Shahar Maoz
  • Itai Segall
چکیده

Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by näıve execution. Major challenges for smart play-out are performance and scalability. In this work we show how to accelerate smart play-out by adapting and applying ideas inspired by formal verification and compiler optimization. Specifically, we present an algorithm that can reduce the size of the specification considered for smart play-out, while maintaining soundness and completeness. Experimental results show significant performance improvements and thus open the way to the application of smart play-out to large scenario-based programs.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

How Hard is Smart Play - Out ? On the Complexity of Verification - Driven Execution ∗

Smart play-out is a method for executing declarative scenario-based requirements, which utilizes powerful model-checking or planning algorithms to run the scenarios and avoid some of the violations that can be caused by näıve execution. In this paper, we investigate the complexity of smart play-out. Specifically, we use a reduction from QBF in order to show that smart play-out for a most basic ...

متن کامل

Using Smart Dust in Transport Domain

The smart dust concept has been around for almost a decade now, but its application in transport domain has only been recently investigated. This is a very valuable area of research, as smart dust – being generally perceived as the lowcost, ubiquitous sensor of the future – can play an important role in Intelligent Transportation Systems (ITS). Our involvement in several transport-related UK an...

متن کامل

On the Power of Play-Out for Scenario-Based Programs

We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence charts (LSC). We compare some of the play-out strategies and mechanisms suggested in the literature, and discuss their strengths and limitations. Specifically, we define a simple infinite hierarchy of LSC programs, and use it t...

متن کامل

Using Magentix2 in Smart-Home Environments

Smart-homes will play an important role in the near future improving living conditions for people. In this paper, we present the application of a multiagent platform Magentix2 for the development of MAS in smart-homes. The use of Magentix2 platform facilitates the management of the multiple occupancy in smart living spaces. Virtual organizations provide the possibility of defining a set of norm...

متن کامل

On the Accelerating of Two-dimensional Smart Laplacian Smoothing on the GPU

This paper presents a GPU-accelerated implementation of two-dimensional Smart Laplacian smoothing. This implementation is developed under the guideline of our paradigm for accelerating Laplacianbased mesh smoothing [13]. Two types of commonly used data layouts, Array-of-Structures (AoS) and Structure-of-Arrays (SoA) are used to represent triangular meshes in our implementation. Two iteration fo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010